1. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. An algebraic introduction tomathematical logic
پدیدآورنده : Barnes, Donald W.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
9
.
B27
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Selected topics in algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra,Geometry, Algebraic,Logic, Symbolic and mathematical
![](/design/images/bookmore.png)
7. Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry
پدیدآورنده :
موضوع : Algebra,Geometry, Algebraic,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. The algebraic theory of switching circuits
پدیدآورنده : Moisil, Grigore C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)